1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67